Open core and small groups in dense pairs of topological structures

نویسندگان

چکیده

Dense pairs of geometric topological fields have tame open core, that is, every definable subset in the pair is already reduct. We fix a minor gap published version van den Dries's seminal work on dense o-minimal groups, and show unary function agrees with reduct, off small subset, set internal to predicate. For certain without independence property, whenever underlying group contained dense-codense predicate, law locally reduct as field. If has elimination imaginaries, we extend this result, up interdefinability, all groups

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Schur Multipliers of Pairs and Triples of Groups with Topological Approach

In this paper, using a relation between Schur multipliers of pairs and triples of groups, the fundamental group and homology groups of a homotopy pushout of Eilenberg-MacLane spaces, we present among other things some behaviors of Schur multipliers of pairs and triples with respect to free, amalgamated free, and direct products and also direct limits of groups with topological approach.

متن کامل

Lovely Pairs and Dense Pairs of O-minimal Structures

We study the theory of Lovely pairs of þ-rank one theories, in particular O-minimal theories. We show that the class of א0-saturated dense pairs of O-minimal structures studied by van den Dries [6] agrees with the corresponding class of lovely pairs. We also prove that the theory of lovely pairs of O-minimal structures is super-rosy of rank ≤ ω.

متن کامل

Dense Pairs of O-minimal Structures

The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of “small definable set” plays a special role in this description. Introduction. In a classical paper [8] A. Robinson proved the completeness of the theory of real closed fields with a predicate for a proper dense real closed subfi...

متن کامل

Dimensions, matroids, and dense pairs of first-order structures

A structure M is pregeometric if the algebraic closure is a pregeometry in all M ′ elementarily equivalent to M . We define a generalisation: structures with an existential matroid. The main examples are superstable groups of U-rank a power of ω and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding a field, while not pregeometric in general, do have an unique exi...

متن کامل

The independence property in generalized dense pairs of structures

We provide a general theorem implying that for a (strongly) dependent theory T the theory of su ciently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of rst-order topological theories.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 2021

ISSN: ['0168-0072', '1873-2461']

DOI: https://doi.org/10.1016/j.apal.2020.102858